Partial function

Results: 618



#Item
51Partial Evaluation of Functional Logic Programs in Rewriting-based Languages L. Lafave March 1997

Partial Evaluation of Functional Logic Programs in Rewriting-based Languages L. Lafave March 1997

Add to Reading List

Source URL: repository.readscheme.org

Language: English - Date: 2010-10-22 08:05:10
52Classical Mechanics Homework January 24, 2∞8 John Baez homework by C. Pro The Kepler Problem. Suppose we have a particle moving in a central force. Its position is a function of time, say q: R → R3 ,

Classical Mechanics Homework January 24, 2∞8 John Baez homework by C. Pro The Kepler Problem. Suppose we have a particle moving in a central force. Its position is a function of time, say q: R → R3 ,

Add to Reading List

Source URL: math.ucr.edu

Language: English - Date: 2008-01-28 11:47:41
53ML Partial Evaluation using Set-Based Analysis Karoline Malmkjær Nevin Heintze February 1994 Olivier Danvy

ML Partial Evaluation using Set-Based Analysis Karoline Malmkjær Nevin Heintze February 1994 Olivier Danvy

Add to Reading List

Source URL: repository.readscheme.org

Language: English - Date: 2010-10-22 08:06:08
54AFFINE MAXIMAL HYPERSURFACES  Xu-Jia Wang Centre for Mathematics and Its Applications The Australian National University

AFFINE MAXIMAL HYPERSURFACES Xu-Jia Wang Centre for Mathematics and Its Applications The Australian National University

Add to Reading List

Source URL: maths-people.anu.edu.au

Language: English - Date: 2004-02-26 00:40:42
55Parabolicity and minimal surfaces Joaqu´ın P´erez (Joint work with Francisco J. L´opez) Abstract.- A crucial problem in the understanding of the theory of minimal surfaces is to determine which conformal structures a

Parabolicity and minimal surfaces Joaqu´ın P´erez (Joint work with Francisco J. L´opez) Abstract.- A crucial problem in the understanding of the theory of minimal surfaces is to determine which conformal structures a

Add to Reading List

Source URL: www.ugr.es

Language: English - Date: 2002-02-22 04:54:51
56simply typed λ-calculus logical verification week

simply typed λ-calculus logical verification week

Add to Reading List

Source URL: www.cs.ru.nl

Language: English - Date: 2004-12-15 12:39:12
57NAME__________________________________ 4 Instructor_______________________________ 3 Class Time_____________________________ 1998

NAME__________________________________ 4 Instructor_______________________________ 3 Class Time_____________________________ 1998

Add to Reading List

Source URL: braintrax.mst.edu

Language: English - Date: 2000-11-16 10:20:59
58ES 111 Mathematical Methods in the Earth Sciences Lecture Outline 6 - Tues 13th Oct 2015 Functions of Several Variables and Partial Derivatives So far we have dealt with functions of the form y = f (x), where x is the in

ES 111 Mathematical Methods in the Earth Sciences Lecture Outline 6 - Tues 13th Oct 2015 Functions of Several Variables and Partial Derivatives So far we have dealt with functions of the form y = f (x), where x is the in

Add to Reading List

Source URL: www.es.ucsc.edu

Language: English - Date: 2015-10-13 12:23:43
59Exponential relaxation to self-similarity for the superquadratic fragmentation equation P. Gabriel∗ F. Salvarani

Exponential relaxation to self-similarity for the superquadratic fragmentation equation P. Gabriel∗ F. Salvarani

Add to Reading List

Source URL: pgabriel.perso.math.cnrs.fr

Language: English - Date: 2016-04-12 10:23:45
60The Wright ω function Robert M. Corless and D. J. Jeffrey Ontario Research Centre for Computer Algebra and the Department of Applied Mathematics University of Western Ontario London, Canada

The Wright ω function Robert M. Corless and D. J. Jeffrey Ontario Research Centre for Computer Algebra and the Department of Applied Mathematics University of Western Ontario London, Canada

Add to Reading List

Source URL: www.apmaths.uwo.ca

Language: English - Date: 2003-11-06 17:18:14